/// **
// * @author : 孙留平
// * @since : 2019年2月26日 下午6:39:37
// * @see:
// */
// package com.administrator.platform.tools.jacoco;
//
/// **
// * @author : Administrator
// * @since : 2019年2月26日 下午6:39:37
// * @see :
// */
//
// import java.io.FileInputStream;
// import java.io.IOException;
// import java.io.PrintStream;
// import java.util.Date;
//
// import org.jacoco.core.data.ExecutionData;
// import org.jacoco.core.data.ExecutionDataReader;
// import org.jacoco.core.data.IExecutionDataVisitor;
// import org.jacoco.core.data.ISessionInfoVisitor;
// import org.jacoco.core.data.SessionInfo;
//
/// **
// * This example reads execution data files given as program arguments and
/// dumps
// * their content.
// */
// public final class ExecDump {
//
// private final PrintStream out;
//
// /**
// * Creates a new example instance printing to the given stream.
// *
// * @param out
// * stream for outputs
// */
// public ExecDump(final PrintStream out) {
// this.out = out;
// }
//
// /**
// * Run this example with the given parameters.
// *
// * @param args
// * command line parameters
// * @throws IOException
// * in case of error reading a input file
// */
// public void execute(final String[] args) throws IOException {
// for (final String file : args) {
// dump(file);
// }
// }
//
// private void dump(final String file) throws IOException {
// out.printf("exec file: %s%n", file);
// out.println("CLASS ID HITS/PROBES CLASS NAME");
//
// final FileInputStream in = new FileInputStream(file);
// final ExecutionDataReader reader = new ExecutionDataReader(in);
// reader.setSessionInfoVisitor(new ISessionInfoVisitor() {
// public void visitSessionInfo(final SessionInfo info) {
// out.printf("Session \"%s\": %s - %s%n", info.getId(),
// new Date(info.getStartTimeStamp()),
// new Date(info.getDumpTimeStamp()));
// }
// });
// reader.setExecutionDataVisitor(new IExecutionDataVisitor() {
// public void visitClassExecution(final ExecutionData data) {
// out.printf("%016x %3d of %3d %s%n",
// Long.valueOf(data.getId()),
// Integer.valueOf(getHitCount(data.getProbes())),
// Integer.valueOf(data.getProbes().length),
// data.getName());
// }
// });
// reader.read();
// in.close();
// out.println();
// }
//
// private int getHitCount(final boolean[] data) {
// int count = 0;
// for (final boolean hit : data) {
// if (hit) {
// count++;
// }
// }
// return count;
// }
// }
